(0 18 15)(1 19 3)(2 10 8)(4 16 6)(5 20 7)(9 14 11)(12 17 13)
ALLOWS (11/8)-SEQUENCE
1: (5 7 20)
(0 18 15)(1 19 3)(2 10 8)(4 16 6)(5 7 20)(9 14 11)(12 17 13)
2: (4 16 6)
(0 18 15)(1 19 3)(2 10 8)(4)(5 7 20)(6)(9 14 11)(12 17 13)(16)
3: (5 7 20)
(0 18 15)(1 19 3)(2 10 8)(4)(5)(6)(7)(9 14 11)(12 17 13)(16)(20)
4: (0 18 15)
(0)(1 19 3)(2 10 8)(4)(5)(6)(7)(9 14 11)(12 17 13)(15)(16)(18)(20)